Literature Survey: Extending Real Time Dataflow with Arbitrary Logic
نویسندگان
چکیده
As Foundation Fieldbus becomes more widely used for the development of process control solutions, the limitations of having a standard, fixed vocabulary of function blocks will become more obvious to control system engineers. To help mitigate this problem, I intend to develop a way to safely specify arbitrary control logic within the dataflow based framework of the Foundation Fieldbus Function Block Application.
منابع مشابه
A parallel execution model for Chronolog
Temporal logic has been widely used as a formalism for program specification and verification [9, 12, 13], modelling temporal databases [1, 3, 14] and reasoning about time [8, 19, 20]. In temporal logic, the meanings of formulae depend on an implicit time parameter and elements from different moments in time can be combined through the use of temporal operators. Therefore, temporal logic can mo...
متن کاملParameterized dataflow modeling of DSP systems
Dataflow has proven to be an attractive computation model for programming DSP applications. A restricted version of dataflow, termed synchronous dataflow (SDF), that offers strong compiletime predictability properties, but has limited expressive power, has been studied extensively in the DSP context [3]. Many extensions to synchronous dataflow have been proposed to increase its expressivity, wh...
متن کاملEffects of Project Uncertainties on Nonlinear Time-Cost Tradeoff Profile
This study presents the effects of project uncertainties on nonlinear time-cost tradeoff (TCT) profile of real life engineering projects by the fusion of fuzzy logic and artificial neural network (ANN) models with hybrid meta-heuristic (HMH) technique, abridged as Fuzzy-ANN-HMH. Nonlinear time-cost relationship of project activities is dealt with ANN models. ANN models are then integrated with ...
متن کاملTopology, connectedness, and modal logic
This paper presents a survey of topological spatial logics, taking as its point of departure the interpretation of the modal logic S4 due to McKinsey and Tarski. We consider the effect of extending this logic with the means to represent topological connectedness, focusing principally on the issue of computational complexity. In particular, we draw attention to the special problems which arise w...
متن کاملExtending Temporal Logic Programming with Choice Predicates Non-Determinism
In temporal logic programming, a stream can be specified by a single-valued, time-varying predicate which, at any given moment in time, represents the corresponding element in the stream. However, due to inherent nondeterminism in logic programming, time-varying predicates do not necessarily represent single-valued relations at any given moment in time. Choice predicates are also time-varying p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999